Luigia Carlucci Aiello: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

The multifaceted impact of Ada Lovelace in the digital age

Carlucci Aiello, Luigia

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 232 KB

english, 2016

2

PERSPECTIVES IN KNOWLEDGE REPRESENTATION

AIELLO, LUIGIA CARLUCCI, NARDI, DANIELE

Journal:

Applied Artificial Intelligence

Year:

1991

Language:

english

File:

PDF, 606 KB

english, 1991

3

Reasoning about reasoning in a meta-level architecture

Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf

Journal:

Applied Intelligence

Year:

1991

Language:

english

File:

PDF, 1.06 MB

english, 1991

4

Defaults as Restrictions on Classical Hilbert-Style Proofs

Gianni Amati, Luigia Carlucci Aiello and Fiora Pirri

Journal:

Journal of Logic, Language and Information

Year:

1995

Language:

english

File:

PDF, 2.46 MB

english, 1995

5

Definability and commonsense reasoning

Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri

Journal:

Artificial Intelligence

Year:

1997

Language:

english

File:

PDF, 2.62 MB

english, 1997

6

Verifying security protocols as planning in logic programming

Aiello, Luigia Carlucci, Massacci, Fabio

Journal:

ACM Transactions on Computational Logic

Year:

2001

Language:

english

File:

PDF, 299 KB

english, 2001

7

Defaults as restrictions on classical Hilbert-style proofs

Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri

Journal:

Journal of Logic, Language and Information

Year:

1994-1995

Language:

english

File:

PDF, 1.51 MB

english, 1994-1995

8

Computing: report leaps geographical barriers but stumbles over gender

Pollack, Martha E., Hambrusch, Susanne E., Ellis, Carla Schlatter, Grosz, Barbara J., Hodgins, Jessica, Bajcsy, Ruzena, Brodley, Carla E., Aiello, Luigia Carlucci, Bonacina, Maria Paola, Clarke, Lori

Journal:

Year:

2006

Language:

english

File:

PDF, 122 KB

english, 2006

9

[Lecture Notes in Computer Science] Foundations of Logic and Functional Programming Volume 306 || Reducing recursion to iteration by means of pairs and N-tuples

Boscarol, Mauro, Carlucci Aiello, Luigia, Levi, Giorgio

Year:

1988

Language:

english

File:

PDF, 392 KB

english, 1988

10

Attacking Fair-Exchange Protocols: Parallel Models vs. Trace Models

Luigia Carlucci Aiello, Fabio Massacci

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 436 KB

english, 2003

11

[Lecture Notes in Computer Science] Foundations of Logic and Functional Programming Volume 306 || Rum an intensional theory of function and control abstractions

Boscarol, Mauro, Carlucci Aiello, Luigia, Levi, Giorgio

Year:

1988

Language:

english

File:

PDF, 2.49 MB

english, 1988

12

[Lecture Notes in Computer Science] Foundations of Logic and Functional Programming Volume 306 || Unification revisited

Boscarol, Mauro, Carlucci Aiello, Luigia, Levi, Giorgio

Year:

1988

Language:

english

File:

PDF, 2.00 MB

english, 1988

13

Intuitionistic Autoepistemic Logic

Giambattista Amati, Luigia Carlucci-Aiello, Fiora Pirri

Journal:

Year:

1997

Language:

english

File:

PDF, 275 KB

english, 1997

14

Speaky for robots: the development of vocal interfaces for robotic applications

Bastianelli, Emanuele, Nardi, Daniele, Aiello, Luigia Carlucci, Giacomelli, Fabrizio, Manes, Nicolamaria

Journal:

Applied Intelligence

Year:

2016

Language:

english

File:

PDF, 6.83 MB

english, 2016

15

Combining Logics I || Intuitionistic Autoepistemic Logic

Giambattista Amati, Luigia Carlucci-Aiello and Fiora Pirri

Journal:

Year:

1997

Language:

english

File:

PDF, 1.77 MB

english, 1997

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски